1. Conference in Mathematical Logic, London '70
پدیدآورنده: Edited by Wilfrid Hodges
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
255
2. Conference in Mathematical Logic London' 70
پدیدآورنده: edited by Wilfrid Hodges
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
255
3. Conference in Mathematical Logic, London '70
پدیدآورنده: / Edited by Wilfrid Hodges
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses
رده :
QA
9
.
C6
1970
4. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده: / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
